Mining Weighted Requirements from Closed-Loop Control Models

Specification defects are a major source of ambiguities and errors. We propose a new weighted requirement mining framework to address this problem. We define weighted and parametric weighted signal temporal logic (STL) as the underlying formalism to improve the expressiveness. This also improves convergence of the mining process. We provide some primitive results to show the benefit of the new framework.